A Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P
نویسندگان
چکیده
We develop a sound and strongly complete axiomatic system for probabilistic logic in which we can model nonmonotonic (or default) reasoning. We discuss the connection between previously developed logics and the two sublogics of the logic presented here.
منابع مشابه
Towards Learning Default Rules by Identifying Big-Stepped Probabilities
This paper deals with the extraction of default rules from a database of examples. The proposed approach is based on a special kind of probability distributions, called “big-stepped probabilities”. It has been shown that these distributions provide a semantics for the System developed by Kraus, Lehmann et Magidor for representing non-monotonic consequence relations. Thus the rules which are lea...
متن کاملProbabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherencebased and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Cruc...
متن کاملA Logical Study on Qualitative Default Reasoning with Probabilities
Only very special subclasses of probability distributions can be used for qualitative reasoning that meets basic logical demands. Snow’s atomic bound systems (big-stepped probabilities) provide one positive example for such a subclass. This paper presents a thorough investigation of the formal logical relationships between qualitative and probabilistic default reasoning. We start with formalizi...
متن کاملProbabilistic Logic under Coherence, Model-theoretic Probabilistic Logic, and Default Reasoning Probabilistic Logic under Coherence, Model-theoretic Probabilistic Logic, and Default Reasoning
We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore the relationship between coherence-based and model-theoretic probabilistic logic. Interestingly, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Cru...
متن کاملStability analysis of a fractional order prey-predator system with nonmonotonic functional response
In this paper, we introduce fractional order of a planar fractional prey-predator system with a nonmonotonic functional response and anti-predator behaviour such that the adult preys can attack vulnerable predators. We analyze the existence and stability of all possible equilibria. Numerical simulations reveal that anti-predator behaviour not only makes the coexistence of the prey and predator ...
متن کامل